%--------------------------------------------
% 图注应为  符号串与DFA转换规则
% 放上一张下边只做一个图注
%--------------------------------------------
\begin{tikzpicture}[>=stealth',shorten >=1pt,auto,node distance=5em,semithick]
    \tikzstyle{every state}=[text=black]

    \node[state] (i0) {i};
    \node[state] (j0) [right of=i0] {j};
    \path [->] (i0) edge node {$e^*$} (j0);
    \draw [->] ([xshift=-0.1em,yshift=0.5em]j0.east) -- (13em,0.5em) node [midway,above] {分解};
    \draw [<-] ([xshift=-0.1em,yshift=-0.5em]j0.east) -- (13em,-0.5em) node [midway,below] {合成};
    \draw[decorate,decoration={brace,mirror}] (13em,10em) -- (13em,-10em);

    \node[state] (i3) at(15em,0em) {i};
    \node[state] (k) [right of=i3] {k};
    \node[state] (j3) [right of=k] {j};
    \path (i3) edge [->] node {$\varepsilon$} (k);
    \path (k) edge [->] node {$\varepsilon$} (j3);
    \path (k) edge [loop above] node {$e$} (k);

    \node[state] (i2) [above of=i3] {i};
    \node[state] (j2) [above of=k] {j};
    \path (i2) edge [loop above] node {$e$} (i2);
    \path (i2) edge [->] node {$\varepsilon$} (j2);
    
    \node[state] (i1) [above of=i2] {i};
    \node[state] (j1) [above of=j2] {j};
    \path (i1) edge [->] node {$\varepsilon$} (j1);
    \path (j1) edge [loop above] node {$e$} (j1);

    \node[state] (i4) [below of=i3] {i};
    \path (i4) edge [loop above] node {$e$} (i4);

    \node[state] (j5) [below of=i4] {j};
    \path (j5) edge [loop above] node {$e$} (j5);
\end{tikzpicture}